void do_tests(){
  ed(-5050211,
  "                ^",
  "°°°°°°°°°°°°°°°°°°°°°",
  1);
}
